Revision: missinglib--head--0.0--patch-54
Archive: jgoerzen@complete.org--projects
Creator: John Goerzen <jgoerzen@complete.org>
Date: Wed Aug  4 14:45:37 CDT 2004
Standard-date: 2004-08-04 19:45:37 GMT
Renamed-files: libsrc/anyDBM/anyDBM_Interface.ml libsrc/anyDBM/anyDBM.ml
    libsrc/anyDBM/anyDBM_Interface.mli libsrc/anyDBM/anyDBM.mli
Modified-files: ChangeLog libsrc/Makefile
    libsrc/anyDBM/anyDBM.ml libsrc/anyDBM/anyDBM.mli
    libsrc/anyDBM/anyDBM_String.ml
    libsrc/anyDBM/anyDBM_String.mli
New-patches: jgoerzen@complete.org--projects/missinglib--head--0.0--patch-54
Summary: Renamed AnyDBM_Interface to AnyDBM
Keywords: 

